Scalable algorithm simplification using quantum AND logic
نویسندگان
چکیده
Abstract Implementing quantum algorithms on realistic devices requires translating high-level global operations into sequences of hardware-native logic gates, a process known as compiling. Physical limitations, such constraints in connectivity and gate alphabets, often result unacceptable implementation costs. To enable successful near-term applications, it is crucial to optimize compilation by exploiting the capabilities existing hardware. Here we implement resource-efficient construction for version AND that can reduce overhead, enabling execution key circuits. On high-scalability superconducting processor, demonstrate low-depth synthesis high-fidelity generalized Toffoli gates with up 8 qubits Grover’s search algorithm space 64 entries. Our experimental demonstration illustrates scalable widely applicable approach implementing algorithms, bringing more meaningful applications noisy within reach.
منابع مشابه
Quantum Circuit Simplification Using Templates
The synthesis of quantum circuits is a complex problem even for circuits with a small number of lines. At present, optimal synthesis is intractable and heuristic methods must be employed. In this paper, we consider the use of templates to simplify a quantum circuit initially found by other means. The templates tool presented here is a general approach to reversible and quantum circuit simplific...
متن کاملSpectroscopy using quantum logic.
We present a general technique for precision spectroscopy of atoms that lack suitable transitions for efficient laser cooling, internal state preparation, and detection. In our implementation with trapped atomic ions, an auxiliary "logic" ion provides sympathetic laser cooling, state initialization, and detection for a simultaneously trapped "spectroscopy" ion. Detection is achieved by applying...
متن کاملScalable Web Reasoning Using Logic Programming Techniques
One of the key issues for the uptake of the Semantic Web idea is the availability of reasoning techniques that are usable on a large scale and that offer rich modelling capabilities by providing comprehensive coverage of the OWL language. In this paper we present a scalable extension of our ABox reasoning framework called DLog. DLog performs query-driven execution whereby the terminological par...
متن کاملSimplification of Many-Valued Logic Formulas Using Anti-Links
We present the theoretical foundations of the many-valued generalization of a technique for simplifying large non-clausal formulas in propositional logic, that is called removal of anti-links. Possible applications include computation of prime implicates of large non-clausal formulas as required, for example, in diagnosis. With the anti-link technique, one does not compute any normal form of a ...
متن کاملPoint-based Simplification Algorithm
This study presents a novel, rapid, and effective point simplification algorithm based on a point cloud without any normal and connectivity information. This study is initiated with a scattered sampled point set in three dimensions, and the final output is a triangular mesh model, which is simplified according to a restrictive criteria. The proposed method reduces the number of calculations req...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Physics
سال: 2022
ISSN: ['1745-2473', '1745-2481']
DOI: https://doi.org/10.1038/s41567-022-01813-7